Mémoire d’habilitation à diriger des recherches Entropies et radiotechnique

From Qualitative to Quantitative Analysis of Timed Systems Mémoire d’habilitation à diriger des recherches

Verification of Embedded Systems — Algorithms and Complexity Mémoire d’Habilitation à Diriger des Recherches

Mémoire d’Habilitation à Diriger des Recherches (HDR) de Bertrand Thirion: Méthodes structurales et probabilistes pour l’analyse de groupe en neuroimagerie fonctionnelle

4 Building a functional brain template (a) 65 4. 6 Modelling and understanding inter-subject variability 103 6. 7 Conclusion: Databasing the brain 119 7.1 Population-level analyses, databasing and knowledge management in neuroimaging. .. . 119 7.2 Object-oriented and ontology-based analysis framework are necessary to model multi-partir de données d'IRM anatomiques et fonctionnelles (MRI/fMRI), ...

Modelling and analyzing security protocols in cryptographic process calculi Mémoire d'habilitation à diriger des recherches

Mémoire D’habilitation À Diriger Des Recherches

interpretation is a very general theory of the approximation of program semantics, introduced by Patrick Cousot and Radhia Cousot in the late 70s [CC77]. It stems from the observation that, while there exists a wide variety of program semantics, they can be uniformly described as fixpoints of operators in partially ordered structures. This observation extends to the formal methods used to ensur...